SizedTypesScopeExtrusion.agda:21,41-42
Cannot solve size constraints
∞ =< i : Size
when checking that the expression x has type Nat
